Перевод: со всех языков на русский

с русского на все языки

формальное определение

  • 1 формальное определение

    мат. formal definition

    Большой англо-русский и русско-английский словарь > формальное определение

  • 2 formal definition

    формальное определение

    English-Russian dictionary of technical terms > formal definition

  • 3 formal definition

    English-Russian information technology > formal definition

  • 4 formal definition

    Англо-русский словарь по исследованиям и ноу-хау > formal definition

  • 5 CONTINUUM

    continuum - континуум; по Аристотелю, континуум есть род утверждения, разновидность согласованности. Согласованность определяется как то, что выражается в непрерывном контакте. Континуум есть вид согласованности, так оба эти термина являются одним и тем же, а не двумя разными терминами, их названия означают, что они взаимосвязаны; такого не может быть в случае с двумя разными терминами. Комментируя этот отрывок Аристотеля, Фома Аквинский пояснял (In lib.Y Phys.lect.5): "Это провозглашение того, чем является континуум; Аристотель подчеркивает, что континуум - это вид утверждения. Поскольку когда концы двух соприкасающихся вещей становятся одним и тем же, тогда утверждают, что это и есть континуум. "Континуум" происходит от слова "содержащий" (continendum). Следовательно, когда много частей содержится в одном, то они содержатся все вместе и в одно и тоже время, то это и есть континуум. Но континуума не может быть там, где есть два конечных термина, но только там, где присутствует один. Из этого следует, что континуальность присутствует в тех вещах, где есть единство взаимодействия. Поскольку любое целое есть одно, и оно протяженно в себе самом, то один континуум состоит из многих: из примкнувших к нему, из пребывающих в нем, из исходящих из него, так что один конец оказывается сотворенным из двух, подобно тому как одно рождается от другого, как фрукт рождается на дереве и таким образом содержит в себе его продолжение. Следовательно, континуум содержит в себе тождественные термины и единственное движение, которое не может быть иным, нежели тем, как длящеесяжвижение по окружности или порождающее линию движения точки; оно бесконечно делимо. Следовательно, (In lib.111 Phys. lect.1): "Континуум есть то, что делимо в своей бесконечности. Континуум называют многообразным, так как существует и другое определение континуума, данное в "Категориях" Аристотелем (с.6, 5а1 ff): " континуум - это то, чьи части соединены с одним общим началом". Эти два определение различаются тем, что континуум, являющийся конкретным единством должен быть определен своими частями. Сами же части соотносятся с целым двумя способами: во-первых, с точки зрения композиции, как составление целого из частей, и с точки зрения анализа как разложение целого на части. Последнее определение континуума сделано с точки зрения анализа, в "Категориях" предпринята попытка дать определение с точки зрения композиции. "Определение континуума как соединение частей в общем термине - представляет собой формальное определение, поскольку единством континуума является его форма. Определение с точки зрения разложения на части, пусть даже невидимые глазом, является материальным определением. По Альберту Великому, континуум воспринимается лишь воображением.

    Латинские философские термины > CONTINUUM

  • 6 CONTINUUM (CONTINUAL, CONTINUED, CONTINUOUS)

    континуум, непрерывное; вид утверждения, разновидность согласованности. Согласованность определяется как то, что выражается в непрерывном контакте. Фома Аквинский пояснял: «„Континуум" происходит от слова «содержимое» (continendum). Следовательно, когда много частей содержится в одном, они содержатся все вместе и в одно и то же время - это и есть континуум. Континуума не может быть там, где есть два конечных термина, но только там, где присутствует один. Из этого следует, что континуальность присутствует в тех вещах, где есть единство взаимодействия. Поскольку любое целое есть одно и оно протяженно само по себе, один континуум состоит из многих: из примкнувших к нему, из пребывающих в нем, из исходящих из него, так что один конец оказывается сотворенным из двух, подобно тому как одно рождается от другого, как фрукт рождается на дереве и таким образом содержит в себе его продолжение» (Thomas Aquinas. In lib. V. Phys. lect. 5). Следовательно, «континуум есть то, что делимо до бесконечности» (ibid. lect. 1). Имя «континуум», или «непрерывное» является многозначным, так как существует и другое его определение, данное Аристотелем: непрерывное - это то, чьи «части соприкасаются на одной общей границе» (Аристотель. Категории. 5а 10-15). Эти два определения различаются следующим. Континуум, являющийся конкретным единством, должен быть определен своими частями. Сами же части соотносятся с целым двумя способами: во-первых, с помощью соединения (составление целого из частей), во-вторых, с помощью анализа (разложение целого на части). Определение континуума у Фомы дано с точки зрения анализа. В «Категориях» предпринята попытка дать определение с точки зрения соединения. Определение континуума как соединения частей на общей границе представляет собой формальное определение, поскольку единством континуума является его форма. Определение же, данное через разложение на части, даже невидимые, является материальным определением. По Альберту Великому, непрерывное воспринимается лишь воображением.

    Латинский словарь средневековых философских терминов > CONTINUUM (CONTINUAL, CONTINUED, CONTINUOUS)

  • 7 formal definition

    2) Программирование: формальное описание

    Универсальный англо-русский словарь > formal definition

  • 8 formal characterization

    мат. формализация, формальное определение

    Большой англо-русский и русско-английский словарь > formal characterization

  • 9 formal definition

    мат. формальное определение

    Большой англо-русский и русско-английский словарь > formal definition

  • 10 Nominaldefinition

    f
    раскрытие буквального смысла; формальное определение значения (слова)

    БНРС > Nominaldefinition

  • 11 formal characterization

    Универсальный англо-русский словарь > formal characterization

  • 12 formal definition applies only to externals

    Универсальный англо-русский словарь > formal definition applies only to externals

  • 13 formal definition of a context-free grammar

    Универсальный англо-русский словарь > formal definition of a context-free grammar

  • 14 Nominaldefinition

    сущ.
    1) общ. раскрытие буквального смысла, формальное определение значения (слова)

    Универсальный немецко-русский словарь > Nominaldefinition

  • 15 spécification

    сущ.
    1) общ. детализация, описание, подробное обозначение, уточнение, технические условия, спецификация
    3) юр. переработка, изготовление изделия с использованием чужого материала

    Французско-русский универсальный словарь > spécification

  • 16 security policy

    1.
    eng.security policy
    rus.правила разграничения доступа
    ukr.правила розмежування доступу
    Совокупность правил (часть политики безопасности), регламентирующих права доступа субъектов доступа к объектам доступа.
    2.
    eng.security policy
    rus.стратегия защиты
    ukr.стратегія захисту
    Формальное определение критериев, особенно оперативных, которыми следует руководствоваться при обеспечении защиты системы от известных угроз.
    3.
    eng.security policy
    rus.политика безопасности
    ukr.політика безпеки
    1) Набор правил, определяющих процедуры и механизмы обеспечения безопасности заданного подмножества объектов и субъектов безопасности.
    2) Совокупность управленческих решений, направленных на защиту информации и ассоциированных с ней ресурсов. Набор законов, правил и норм поведения, определяющих, как организация обрабатывает, защищает и распространяет информацию.
    3) Множество законов, правил, ограничений, рекомендаций, инструкций и т.д., которые регламентируют порядок обработки (в т.ч. ввода, вывода, хранения, передачи и т.д.) информации в организации, АС и т.д.

    English-Russian dictionary of information security > security policy

  • 17 политика безопасности

    1.
    eng.security policy
    rus.правила разграничения доступа
    ukr.правила розмежування доступу
    Совокупность правил (часть политики безопасности), регламентирующих права доступа субъектов доступа к объектам доступа.
    2.
    eng.security policy
    rus.стратегия защиты
    ukr.стратегія захисту
    Формальное определение критериев, особенно оперативных, которыми следует руководствоваться при обеспечении защиты системы от известных угроз.
    3.
    eng.security policy
    rus.политика безопасности
    ukr.політика безпеки
    1) Набор правил, определяющих процедуры и механизмы обеспечения безопасности заданного подмножества объектов и субъектов безопасности.
    2) Совокупность управленческих решений, направленных на защиту информации и ассоциированных с ней ресурсов. Набор законов, правил и норм поведения, определяющих, как организация обрабатывает, защищает и распространяет информацию.
    3) Множество законов, правил, ограничений, рекомендаций, инструкций и т.д., которые регламентируют порядок обработки (в т.ч. ввода, вывода, хранения, передачи и т.д.) информации в организации, АС и т.д.

    English-Russian dictionary of information security > политика безопасности

  • 18 правила разграничения доступа

    1.
    eng.security policy
    rus.правила разграничения доступа
    ukr.правила розмежування доступу
    Совокупность правил (часть политики безопасности), регламентирующих права доступа субъектов доступа к объектам доступа.
    2.
    eng.security policy
    rus.стратегия защиты
    ukr.стратегія захисту
    Формальное определение критериев, особенно оперативных, которыми следует руководствоваться при обеспечении защиты системы от известных угроз.
    3.
    eng.security policy
    rus.политика безопасности
    ukr.політика безпеки
    1) Набор правил, определяющих процедуры и механизмы обеспечения безопасности заданного подмножества объектов и субъектов безопасности.
    2) Совокупность управленческих решений, направленных на защиту информации и ассоциированных с ней ресурсов. Набор законов, правил и норм поведения, определяющих, как организация обрабатывает, защищает и распространяет информацию.
    3) Множество законов, правил, ограничений, рекомендаций, инструкций и т.д., которые регламентируют порядок обработки (в т.ч. ввода, вывода, хранения, передачи и т.д.) информации в организации, АС и т.д.

    English-Russian dictionary of information security > правила разграничения доступа

  • 19 стратегия защиты

    1.
    eng.security policy
    rus.правила разграничения доступа
    ukr.правила розмежування доступу
    Совокупность правил (часть политики безопасности), регламентирующих права доступа субъектов доступа к объектам доступа.
    2.
    eng.security policy
    rus.стратегия защиты
    ukr.стратегія захисту
    Формальное определение критериев, особенно оперативных, которыми следует руководствоваться при обеспечении защиты системы от известных угроз.
    3.
    eng.security policy
    rus.политика безопасности
    ukr.політика безпеки
    1) Набор правил, определяющих процедуры и механизмы обеспечения безопасности заданного подмножества объектов и субъектов безопасности.
    2) Совокупность управленческих решений, направленных на защиту информации и ассоциированных с ней ресурсов. Набор законов, правил и норм поведения, определяющих, как организация обрабатывает, защищает и распространяет информацию.
    3) Множество законов, правил, ограничений, рекомендаций, инструкций и т.д., которые регламентируют порядок обработки (в т.ч. ввода, вывода, хранения, передачи и т.д.) информации в организации, АС и т.д.

    English-Russian dictionary of information security > стратегия защиты

  • 20 formal characterization

    мат.
    формализация, формальное определение

    English-Russian scientific dictionary > formal characterization

Страницы
  • 1
  • 2

См. также в других словарях:

  • Определение — (общеславянск. «пределити» положить предел, провести границу) – 1. установление границ, пределов; 2. приход к решению, выводу; 3. а) раскрывающая содержание (смысл) имени посредством описания существенных и отличительных признаков или явлений,… …   Энциклопедический словарь по психологии и педагогике

  • Формальное исчисление — Формальная (аксиоматическая) теория, формальное исчисление это понятие, разработанное в рамках формальной логики в качестве основы для формализации теории доказательства. Формальная теория разновидность дедуктивной теории, где множество теорем… …   Википедия

  • ПСИХОЛОГ — Определение того, к кому относится этот термин, не является простой задачей. Трудности возникают из того, что так называют и тех, кто фактикуют в области психологии, и тех, кто ее применяют, и тех, кто ей обучается, и тех, кто ее исследуют.… …   Толковый словарь по психологии

  • Росток (комплексный анализ) — Формальное определение Рассмотрим функции, заданные в точке O и какой нибудь её окрестности (не предполагается, что эта окрестность фиксирована для этих функций  для разных функций она может быть разная и общего пересечения у них может не быть,… …   Википедия

  • ИОАНН ДУНС СКОТ — [лат. Ioannes (Johannes) Duns Scotus] († 8.11.1308, Кёльн), средневек. философ и богослов, католич. священник, член монашеского ордена францисканцев; в католич. Церкви прославлен в лике блаженных (пам. зап. 8 нояб.). Жизнь. Иоанн Дунс Скот. 1473… …   Православная энциклопедия

  • Преступление — У этого термина существуют и другие значения, см. Преступление (значения). Преступление (уголовное преступление)  правонарушение (общественно опасное деяние), совершение которого влечёт применение к лицу мер уголовной ответственности.… …   Википедия

  • Декриминализация — Преступление (уголовное преступление) это правонарушение, совершение которого влечёт применение к лицу мер уголовной ответственности. Преступления могут выделяться из общей массы правонарушений по формальному признаку (установление за них… …   Википедия

  • Категоризация преступлений — Преступление (уголовное преступление) это правонарушение, совершение которого влечёт применение к лицу мер уголовной ответственности. Преступления могут выделяться из общей массы правонарушений по формальному признаку (установление за них… …   Википедия

  • Категории преступлений — Преступление (уголовное преступление) это правонарушение, совершение которого влечёт применение к лицу мер уголовной ответственности. Преступления могут выделяться из общей массы правонарушений по формальному признаку (установление за них… …   Википедия

  • Классификация преступлений — Преступление (уголовное преступление) это правонарушение, совершение которого влечёт применение к лицу мер уголовной ответственности. Преступления могут выделяться из общей массы правонарушений по формальному признаку (установление за них… …   Википедия

  • Криминал — Преступление (уголовное преступление) это правонарушение, совершение которого влечёт применение к лицу мер уголовной ответственности. Преступления могут выделяться из общей массы правонарушений по формальному признаку (установление за них… …   Википедия

Поделиться ссылкой на выделенное

Прямая ссылка:
… Нажмите правой клавишей мыши и выберите «Копировать ссылку»